Η εμφάνιση των ηλεκτρονικών υπολογιστών στο προσκήνιο και ο από τότε ολοένα μεγαλύτερος ρόλος που παίζουν στη ζωή του ανθρώπου, και στην επιστήμη ειδικότερα, έκανε την Υπολογιστική φυσικό αντικείμενο μελέτης των επιστημόνων Πληροφορικής. Ένα πρόγραμμα που εκτελείται από κάποιον υπολογιστή δεν είναι παρά ένας αλγόριθμος, εκφρασμένος σε γλώσσα αντιληπτή από το σύστημα του υπολογιστή. Έτσι, η ανάγκη να ερευνήσουμε με μαθηματικά εργαλεία τα θεωρητικά όρια ικανότητας (ή δυνατοτήτων) των υπολογιστών μεταφράζεται στην ανάγκη να μελετήσουμε τι μπορεί και τι δεν μπορεί να γίνει με αλγοριθμικές μεθόδους. Ένα βιβλίο-οδηγός για τον φοιτητή της επιστήμης υπολογιστών, αλλά και για όποιον θέλει να διερευνήσει το αν και γιατί οι υπολογιστές δίνουν ή δεν δίνουν λύσεις σε διάφορα μαθηματικά προβλήματα.